Magnetic Launch Systems 1: Eddy Current Brakes And How They Work